msg{-}spec{-}links(${\it snd}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map($\lambda$$p$.2of($p$);fpf{-}domain(${\it snd}$))